<?php
echo "ok\n";
?>
